1261. VLSI:
پدیدآورنده : edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.
رده :
TK7874
.
E358
2000
1262. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1263. Verification of digital and hybrid systems
پدیدآورنده : edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
1264. Vertically integrated architectures :
پدیدآورنده : Jos Jong.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software architecture.,COMPUTERS-- Programming-- General.,COMPUTERS-- Software Development & Engineering-- General.,Software architecture.
رده :
QA76
.
76
.
D47
J66
2019
1265. Visual Database Systems 4 (VDB4) :
پدیدآورنده : WG2.6 Fourth Working Conference on Visual Database Systems 4 (VDB4) 27-29 May 1998, L'Aquila, Italy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
1266. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
1267. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
1268. Web database applications with PHP & MySQL /
پدیدآورنده : Hugh E. Williams and David Lane.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : PHP (Computer program language),SQL (Computer program language),Web sites-- Design.
1269. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1270. Web services foundations /
پدیدآورنده : Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
رده :
TK5105
.
88813
1271. Web technologies :
پدیدآورنده : Arthur Tatnall, [editor].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information technology.,Internet.,World Wide Web.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Information technology.,Internet.,World Wide Web.
رده :
TK5105
.
888
.
W377
2010
1272. WebGL game development :
پدیدآورنده : Sumeet Arora.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer games.,Computer software.
رده :
QA76
.
76
.
C672
1273. What is negation?
پدیدآورنده : edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Negation (Logic)
رده :
BC199
.
N4
E358
2011
1274. Why prolog?: justifying logic programming for practical applications
پدیدآورنده : Gregory L. Lazarev
موضوع : Prolg(Computer program language),Logic programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1275. Year Perspective on Logic Programming-A 25
پدیدآورنده : / Agostino Dovier, Enrico Pontelli
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
1276. Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25
پدیدآورنده : / Gianfranco Rossi (auth.), Agostino Dovier, Enrico Pontelli (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1277. Zur Logik der Logik-Programmierung :
پدیدآورنده : Clemens Beckstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logische Programmierung.
رده :
QA76
.
63
C546
1988
1278. Zur Logik der Logik-Programmierung : ein Konstruktiver Ansatz
پدیدآورنده : Beckstein, Clemens
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
B43
1988
1279. based program synthesis and transformation :-Logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses ;
1280. <4=foure> Th UK conference on logic programming
پدیدآورنده : edited by Krysia Broda
کتابخانه: (کرمان)
موضوع : Logic programming
رده :
QA
76
.
663
.
P7
1993
